81. Formal methods for distributed processing
Author: / Howard Bowman, John Derrick
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electronic data processing -- Distributed processing,Object-oriented programming (Computer science)
Classification :
QA
76
.
9
.
D5F662
2001
82. Formal methods for open object-based distributed systems
Author: / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2003
83. Formal methods for open object-based distributed systems
Author: / Martin Steffen, Gianluigi Zavattaro (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing--Distributed processing--Congresses.,Object-oriented programming (Computer science)--Congresses.
Classification :
QA76
.
9
.
D5
I573
2005
84. Formal methods for open object-based distributed systems
Author: / Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2007
85. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Author: Martin Steffen, Gianluigi Zavattaro )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3535
86. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Author: Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2884
87. Foundations of multithreaded , and distributedprogramming
Author:
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Parallel programming (Computer science),Electronic Data Procassing- Distributed Processing,Threads(computer program)
Classification :
QA
76
.
58
.
A57
2000
88. Foundations of multithreaded, parallel, and distributed programming
Author: Gregory R. Andrews,Title
Library: (Mazandaran)
Subject: Parallel programming )Computer science(,Electronic data processing, Distributed processing,Threads )Computer programs(
Classification :
QA
.
A57
76
.
58
2000
89. Foundations of multithreaded, parallel, and distributed programming
Author: Andrews, Gregory R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel programming )Computer science(,، Threads )Computer programs(,، Electronic data processing-- Distributed processing
Classification :
QA
76
.
58
.
A57
2000
90. Foundations of multithreaded, parallel, and distributed programming
Author: / by G.R. Andrews
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Threads (Computer programs)
Classification :
QA76
.
58
.
A577
2000
91. Graphics processing unit-based high performance computing in radiation therapy /
Author: edited by Xun Jia, Steve B. Jiang
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Graphics processing units-- Programming,Radiotherapy-- Data processing,Electronic Data Processing,Radiotherapy, Computer-Assisted,Tomography, X-Ray Computed
Classification :
RM862
.
5
.
G73x
2016
92. Handbook of data processing administration, operations, and procedures
Author: Mixon, Shirley R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing,، Computer programming management
Classification :
QA
76
.
M5868
93. Hatrix computer analysis of structures
Author: / [by] M.F. Rubinstein
Library: Library of Economics (Tehran)
Subject: Electronic data processing-Structures Theory of,Electronic digital computer Programming,Matxices
Classification :
TA
642
.
R8
94. How to design programs
Author: / Matthias Felleisen ... [et al.]
Library: Library and Document Center of the Faculty of Fine Arts (Tehran)
Subject: Computer programming,Electronic data processing
Classification :
QA
76
.
6
.
H697
95. How to design programs :
Author: Matthias Felleisen ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Electronic data processing.
Classification :
QA76
.
6
.
H697
2001
96. How to design programs
Author: / Matthias Felleisen ... [et al.]
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming,Electronic data processing
Classification :
QA76
.
6
.
H697
2001
97. How to design programs :
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Electronic data processing.,Computer programming.,Electronic data processing.
Classification :
QA76
.
6
.
H697
2018
98. How to design programs: an introduction to programming and computing
Author: Matthias Felleisen ... ]et al.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Computer programming,، Electronic data processing
Classification :
QA
76
.
6
.
H697
2001
99. How to design programs. an introduction to programming and computing
Author: Matthias Felleisen ... ]et al.[
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer programming,، Electronic data processing
Classification :
QA
76
.
6
.
H697
2001
100. How to solve it by computer
Author: Dromey, R.G
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
Classification :
QA
76
.
95
.
D76
1982
